/* Fakten: */
a :- true.
b :- fail.
e.

/* Regeln (Horn-Klauseln): */
c :- a, b.
c :- e.



/* Beispielanfragen: */
%
% 1) ?- a.
% 2) ?- b.
% 3) ?- e.
% 4) ?- c.
